ATP goes nano

Neurosurgery goes Nano inside a Chip

SETHEO Goes Software Engineering: Application of ATP to Software Reuse

Reuse of approved software components has been identified as one of the key factors for successful software engineering projects. Although the reuse process also covers many non-technical aspects [9] we will restrict ourselves to the retrieval of software components (SCR) based on their formal specifications. Our system NORA/HAMMR 3 is based on a library of software components with associated s...

As iron goes, so goes disease?

The brain iron overload disorders, collectively known as neurodegeneration with brain iron accumulation (NBIA), would seem to be tantalizing targets for chelation therapy. Efforts to lower brain iron in these disorders date back to the 1960s with deferoxamine mesylate, but systemic iron depletion limited its use. With the advent of chelators better able to specifically relieve central nervous s...

Title of Abstract Goes Here, Title of Abstract Goes Here, Title of Abstract Goes Here, Title of Abstract Goes Here

Motivated by recent developments in solid electrolytes based on lithium phosphorous oxynitride (LiPON) materials, we carried out computer simulations in order to develop an understanding of the detailed mechanisms of ionic transport. Starting with crystalline Li3PO4, we investigated some possible structures of isolated defects associated with extrinsic Li ion vacancies and interstitials. In par...

Anything Goes

Representing OT hierarchies in terms of weighted sums of violations requires in the general case exponential growth of weights; and any such weight system will only work for finite fragments of grammars in which the quantity of violations incurred by optima does not grow without bound (typically, those fragments in which input size is bounded). This conclusion is based on a worst-case analysis,...